منابع مشابه
Reducing Monitoring Overhead by Integrating Event- and Time-Triggered Techniques
Runtime verification is a formal technique used to check whether a program under inspection satisfies its specification by using a runtime monitor. Existing monitoring approaches use one of two ways for evaluating a set of logical properties: (1) event-triggered, where the program invokes the monitor when the state of the program changes, and (2) time-triggered, where the monitor periodically p...
متن کاملReducing Inconsistency in Integrating Data From Different Sources
One of the main problems in integrating databases into a common repository is the possible inconsistency of the values stored in them, i.e., the very same term may have different values, due to misspelling, a permuted word order, spelling variants and so on. In this paper, we present an automatic method for reducing inconsistency found in existing databases, and thus, improving data quality. Al...
متن کاملStochastic differential equations and integrating factor
The aim of this paper is the analytical solutions the family of rst-order nonlinear stochastic differentialequations. We dene an integrating factor for the large class of special nonlinear stochasticdierential equations. With multiply both sides with the integrating factor, we introduce a deterministicdierential equation. The results showed the accuracy of the present work.
متن کاملReducing energy demand in non-domestic buildings: integrating smart facades, ventilation, and surface heating and cooling
This paper discusses an overall strategy for reducing energy demand in non-domestic buildings, mainly focussing on office developments. It considers four areas: reducing internal heat loads; addressing passive design through the building construction; using efficient and responsive HVAC systems and focussing on chilled (heated) surface systems; integrating renewable energy supply systems into t...
متن کاملReducing redundancy in invasion ecology by integrating hypotheses into a single theoretical framework
Aim Invasion ecology includes many hypotheses. Empirical evidence suggests that most of these can explain the success of some invaders to some degree in some circumstances. If they all are correct, what does this tell us about invasion? We illustrate the major themes in invasion ecology, and provide an overarching framework that helps organize research and foster links among subfields of invasi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Public Health Nutrition
سال: 2006
ISSN: 1368-9800,1475-2727
DOI: 10.1079/phn2005909